Axioms for convexity
نویسندگان
چکیده
منابع مشابه
BASE AXIOMS AND SUBBASE AXIOMS IN M-FUZZIFYING CONVEX SPACES
Based on a completely distributive lattice $M$, base axioms and subbase axioms are introduced in $M$-fuzzifying convex spaces. It is shown that a mapping $mathscr{B}$ (resp. $varphi$) with the base axioms (resp. subbase axioms) can induce a unique $M$-fuzzifying convex structure with $mathscr{B}$ (resp. $varphi$) as its base (resp. subbase). As applications, it is proved that bases and subbase...
متن کاملAxioms for Concurrency
We study properties of equational characterisations of congruences defined over process algebras. The languages on which we concentrate are based on CCS, and our equivalences are generally restricted to observational congruences. We start by defining and investigating the notion of extensionality or w-completeness of an axiomatisation with respect to some semantic equivalence, as an extension o...
متن کاملAxioms for Hopf Invariants
1. Since H. Hopf first proved that irziS) « Z by showing that a certain invariant was non tri vial, several similar invariants—called generalized Hopf invariants—have been described; indeed, there are no less than 6 different definitions in the literature, and it was not always clear whether theorems about one applied to others. Many definitions were riddled with choices which had to be made, a...
متن کاملIntricate Axioms as Interaction Axioms
In epistemic logic, some axioms dealing with the notion of knowledge are rather convoluted and difficult to interpret intuitively, even though some of them, such as the axioms .2 and .3, are considered to be key axioms by some epistemic logicians. We show that they can be characterized in terms of understandable interaction axioms relating knowledge and belief or knowledge and conditional belie...
متن کاملAxioms for Sequential Convergence
It is of general knowledge that those (ultra)filter convergence relations coming from a topology can be characterized by two natural axioms. However, the situation changes considerable when moving to sequential spaces. In case of unique limit points J. Kisyński [Kis60] obtained a result for sequential convergence similar to the one for ultrafilters, but the general case seems more difficult to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Australian Mathematical Society
سال: 1993
ISSN: 0004-9727,1755-1633
DOI: 10.1017/s0004972700012417